@InProceedings{ConceiçãoMattBati:2016:DeVeNa,
               author = "Concei{\c{c}}{\~a}o, Carlos and Mattiello Francisco, Maria de 
                         F{\'a}tima and Batista, Carlos Leandro Gomes",
          affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Dependability verification of nanosatellite embedded software 
                         supported by a reusable Test System",
                 year = "2016",
         organization = "Latin-American Symposium on Dependable Computing (LADC)",
  conference-location = "Cali, Colombia",
      conference-year = "19-21 Oct.",
             language = "en",
        urlaccessdate = "27 abr. 2024"
}